backwardchaining

backward-chaining вывод от цели к фактам